Correction: versatile and declarative dynamic programming using pair algebras

We have located a typesetting error in our recent publication in BMC Bioinformatics 2005,6:224 [1]. Although the error is quite minor (l' = l has been miswrit-ten as l' ∈ L), it occurs in the central Definition 3 in the paper, and is also pasted into subsequent example code (both error sites on p.7, right column). This error unfortunately looks mathematically plausible, although it is in contradiction with the given verbal explanations. which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.